Sens implicite, implicatures et principes d’inférence

Évaluation des annotations : ses principes et ses pièges

A lot of data is produced by NLP (automatic systems) and for NLP (reference corpus, for computational linguistics or for machine learning) and should be publicly released only if their consistency is proven. While the growing effort that has been made in this direction over the past two decades is encouraging, for example through the increasing use of inter-annotating agreement measures such as...

Décision collective sous incertitude possibiliste. Principes et axiomatisation

This paper raises the question of collective decision making under possibilistic uncertainty. We study several egalitarian decision rules and show that in the context of a possibilistic representation of uncertainty, the use of an egalitarian collective utility function allows us to get rid of the Timing Effect. Making a step further, we prove that if both the agents’ preferences and the collec...

Principes et méthodes pour l'intégration et l'optimisation du pilotage des systèmes de production et des chaînes logistiques

Raisonnement Automatisé: Principes Et Applications (partie I: Logique Du Premier Ordre) 1 First Order Logic

2009 This document contains the first part of the M2R course RAPA: Automated Reasoning: Principle and Applications. It presents the basis of first-order logic and automated deduction: syntax, semantics, transformation into clausal form, unification and the Resolution calculus (with selection functions and atom ordering). Some basic properties of the Resolution calculus are also investigated (w....

Exploration implicite et explicite de l'espace d''etats atteignables de circuits logiques Esterel

ion basée sur la profondeur des variables d’états Une première idée pour automatiser la sélection des variables à abstraire est d’utiliser la profondeur des variables d’états. Cette profondeur correspond au nombre de variables d’état sur le plus court chemin entre la variable d’état candidate à l’abstraction et les sorties des propriétés à vérifier. Cette profondeur se calcule pour l’ensemble d...